adding special port rotation for boot peers
[SauerbratenRemote.git] / P2PMud-sauerbraten / launchers / P2PMudPeer 9091 cmd.launch
blob9d2d7afe66d799d32d0d4cb1005c41534eb9b655
1 <?xml version="1.0" encoding="UTF-8"?>
2 <launchConfiguration type="org.codehaus.groovy.eclipse.groovyLaunchConfiguration">
3 <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
4 <listEntry value="/P2PMud-sauerbraten/src/p2pmud/P2PMudPeer.java"/>
5 </listAttribute>
6 <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
7 <listEntry value="1"/>
8 </listAttribute>
9 <booleanAttribute key="org.eclipse.debug.core.appendEnvironmentVariables" value="true"/>
10 <stringAttribute key="org.eclipse.debug.core.source_locator_id" value="org.codehaus.groovy.eclipse.editor.groovySourceLocator"/>
11 <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="p2pmud.P2PMudPeer"/>
12 <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="9091 10.0.0.139 9090 -cmd &quot;login fur 1767.317383 1573.154175 2062.089600 -0.000789 -4.363634 194.909088&quot;"/>
13 <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="P2PMud-sauerbraten"/>
14 </launchConfiguration>